منابع مشابه
Complex base numeral systems
In this paper will be introduced large, probably complete family of complex base systems, which are ’proper’ for each point of the space there is a representation which is unique for all but some zero measure set. The condition defining this family is the periodicity we get periodic covering of the plane by fractals in hexagonal-type structure, what can be used for example in image compression....
متن کاملAsymmetric numeral systems
In this paper will be presented new approach to entropy coding: family of generalizations of standard numeral systems which are optimal for encoding sequence of equiprobable symbols, into asymmetric numeral systems optimal for freely chosen probability distributions of symbols. It has some similarities to Range Coding but instead of encoding symbol in choosing a range, we spread these ranges un...
متن کاملRarities in Numeral Systems
We present an extensive survey of rare structural properties in numeral systems in the world's languages, foremostly the question of rare number bases. The survey emphasizes comprehensiveness and status of evidence.
متن کاملA Conjecture on Numeral Systems
A numeral system is an infinite sequence of different closed normal λ-terms intended to code the integers in λ-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these particular three functions. We give at the en...
متن کاملSingular constrained linear systems
In the linear system Ax = b the points x are sometimes constrained to lie in a given subspace S of column space of A. Drazin inverse for any singular or nonsingular matrix, exist and is unique. In this paper, the singular consistent or inconsistent constrained linear systems are introduced and the effect of Drazin inverse in solving such systems is investigated. Constrained linear system arise ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2018
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-018-9456-6